sfor( var|x> in sequence): statements ... end: for each superposition in sequence, set var|x> to that superposition and then compile and run the given statements